perm filename NEENIE.GF[BOR,DEK] blob sn#756162 filedate 1984-06-05 generic text, type T, neo UTF8
{`$α&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β ↔εbp_
'#_f?λ∧≥
↔ 6→$∧p"| G⊂:[←(z@= ∂λn≡P∂λα≤NV`2⎇ ≡Px∧7∂(<α≠@z@≡↓λ\< G⊂:[←(z@= ≡Px∧7∂λα≤NV`2⎇ ∂λn≡P∂(<α≠@z@≡↓λ\< B≠-O(_GXz@
¬x↑| B≠./(_GXz@Fλ≠| 2≠>P1∞↓?(⊗LπPxA∧β0→≠≡P∪%6o(_u;hxA∧β0→≤↑P_%NO(≥∨q(x@dβ0→= αXK¬>P6∃-∨λαλεc_6= βh}:≡PSπ↓∨λαλεc_9= ∧>F≡PPqf?λ↓Hεc_z@πsh= 
_xg↑⊂ ⊂
FF`z@∃T82⎇ ∧Hzk}⊂ ⊂
FG⊂z@∃,8~⎇ ∧p%!>⊂_⊂
FO(+thz@	B
< B≠
-O(2/@λz@⊃F(⎇< B≠
./(/o4(z@∂1⊂R< 2≠
>Pb≡t?( wDxxA∧β0≠≠≡PFv5←('v∨XxA∧β0≠≤↑PFv5←("vλλx@dβ0≠= λhlk>PJl'oλαλεc86= ¬HC]>←x}∂w∨λαλεc89= ε0B⎇}P↓pλ␈λ↓Hεc8z@0[= ≡⊂ ⊂
Gε`z@∩<X$⎇ ∞HI≥}⊂ ⊂
Gπ⊂z@⊃DP]⎇ ∂0H>>⊂_⊂
G∂($↓0⊂z@≡↓λ\< B≠∞-O(≥4"8z@⊂ HL| B≠∞./(≥4"8z@
`@∂| 2≠∞>P:hD␈(≡↓
`x@dβ0_⎇ ε⊂≤α}P-_∂/λ↓Hεc⊂z@¬90
⎇ ε`*Z>⊂_⊂
F?(∂gPz@∀?λO< 2≠
≡PV↓i←(∪∧↓Px@dβ0~⎇  =h}PAo	␈λ↓Hεc0z@⊃]HV⎇ 	(XO↑⊂_⊂
F␈(_k0z@< 2≠∞≡PHα`/(<α≠@x@dβ0≤⎇ π(Q	}P<α≠Oλαλεcλ_= ∂λP≡PHα`/λαλεcλ_⎇ 
@πd↑P<α≠Oλαλεcλ→= ∂λP≡P0↓Voλαλεcλ→⎇ ⊂@	;>P<α≠Oλαλεcλ~= ∂λP≡P<α≠Oλαλεcλ~⎇ ∂λP≡P<α≠D_∧0␈␈␈␈xP
x↓⊂
xX↓G`9XαGY`βεy`∧∧a→`¬BaY`α@b⊂(αgQ@αgQ@αgQ8αg Q0αgQ0αgQ0αgQ(αgQ(αg Q αgQ αgQ αgQ αgQ αg Q_αgQ_αgQ_αgQ_αgQ αg Q_αgQ_αgQ_αgQ αgP ε@`Rhπ'↓@8¬Ic$93@@πB∧2 ≠@→XβD`b∪⊂
 ⊂N↓"p(∞Jhε0↓f@aHαFB@XλP  MAC0(DB!λ ↔@M8λEb∀.↓∪!λ
Dλ¬Pαfb↓pλP
p0MCd⊃⊂ ∃iPλλb$)↓s0x∪∧h∧x∧&ar8
⊂	P@MCe⊃  ∩a→XπJBT$BS0x⊗¬(∧8∧farh
Pλ`HMD¬a( ⊃↓→`πKbd!α30x_¬H∧λ∧&bβOa	XλBcp∧'αβ⊂∂!	XλLBsX∧'αβ_N@yXλLbsHβfb#_Ny`λMββ8β&b# 
@i`	
ββ(αgα# 
YX	
#β_αgα#(@YX	Mβ∪λαgα3 LI`	Mβ∩xα&bC K@I`	M#∩hα'α3 
IX

β"Xα'αC J`I`

β∩P↓gαC_
 9X
Lc"@↓gαS_
	`9`
Lc∩8↓gαS⊂
	@9`
LC"(↓gαS⊂
	9X#" ↓gαcλ
λ`9`#"⊂↓'αc
H )`β"λ↓'αrp
H)`KC1x↓'αrp
π`)`K#1p↓'αrh
G  λ∧'βα`
π!y`
c1`	'βαX
παI`
C1Xgβ∩λAc1Pg#αBβ!P
gβ⊃pBβ1H∞gβ⊃hB#1@∂gβ!XB#1@⊂gβ!PBC18⊃'#!@Bc!8∩'β!8Bc10∪'β1(Cβ1(∪g#1_Cβ1(∀gβAλC#1 ↓↓d→`∞C`⊂p
¬⊂`∂g#`X↓βC2_∞g∧8↓Cc2 ∞'%x
ICI`∪Dβ28
g$Qλ
#)`∩∧#2P
'$!⊂
JC)`⊂DC2`g#q_
Kβ→h∞Eβ"p'#1 
KC→hE#2x'"q0
β	h
EC3λgB!8
Bypε@ ⊃@
Byxβ@`⊃@
Lbj(F## &`⊃P

αiP↓εC3 &`1P

"iX↓Fc#0
f`1X
MBYX↓Gβ#8
f`1h

bIX↓GC#8
&`1p
∞αIX↓Gc#@
&`2
∞αIX↓H#∪H
&`2⊂N"9X↓Hc∪H	f`2_
∞"9X↓Iβ∪P	&`2(NB)X↓IC∪H	f`28N")Pα
β∪H	&`BHN")Xα
CβH	&`BX∞")XαββH	&`Bh∞"→XαCβ@	&`Rp∞α→XαLαs@λf`SλNα	PβBs8λf`c_Mb	Xβ
"c0λ&`c0
B	Xβ
bs λ&`cH
↓yXβ∞Bc_λ&@s`
LB	XβOBSλπf`sx
L↓yXβPλ⊃(↔βs @ ⊂bBhπfa∀"¬¬0xMB(∧0	JAyP¬⊂	⊃⊂∪D∪ X ∩b"(πfAD'∧$!Mβ(¬λλπb	Hλ⊂
1
D3@x ∃B↓0	(↓$-∧AQ 	↓β` P↓(¬p↔¬aHβg`$0Jβ⊂PεC	b⊂∞A ⊃_↓A4↓X⊂A"`(Qβe(
↓:0(
↓3P(	A3@(	↓3P(λA3@(λA3@(λA3@(λA3@(λA3@(λA3@(λA3@(λA3@(	↓30(	A3@(	A3@(	A30(
↓3@(
A3@(
A30(↓3@(↓3@(A30(↓3@(↓30(A3@(
↓30(↓∧!(NαA0H↓↓308
BS@(
AHOλ∧≥
↔ 6→$∧p&| G⊂:[←(z@= ∂λn≡P∂λα≤NV`2⎇ ≡Px∧7∂(<α≠@z@≡↓λ\< G⊂:[←(z@= ≡Px∧7∂λα≤NV`2⎇ ∂λn≡P∂(<α≠@z@≡↓λ\< B≠-O(↔z'8z@
$@T| B≠./(↔z'8z@dP⊃| 2≠>P/tN␈(↔	⊗0xA∧β0→≠≡P∀s∨(~&∞hxA∧β0→≤↑P→s↔␈(≡PD(x@dβ0→= αpf_≡P8vS∨λαλεc_6= ∧8PD≡PU∂⊃/λαλεc_9= ∧P⊂P≡PRyvOλ↓Hεc_z@	∞λ∀= 
@	π}⊂ ⊂
FF`z@∀:_≡⎇ ∧(jK↑⊂ ⊂
FG⊂z@∀∩_ε⎇ ∧P∃↓≡⊂_⊂
FO((L2(z@λ␈xL| B≠
-O(1H[0z@⊂ne< B≠
./(/λOPz@∞Xh:< 2≠
>P`Q+∂(∨FqxxA∧β0≠≠≡PH∂h∨('9⊂xxA∧β0≠≤↑PH∂h∨("8y(x@dβ0≠= 	∨P>PIr
/λαλεc86= ¬HC]>←x}∂w∨λαλεc89= ε0B⎇}P↓pλ␈λ↓Hεc8z@0[= ≡⊂ ⊂
Gε`z@∩<X$⎇ ∞HI≥}⊂ ⊂
Gπ⊂z@⊃DP]⎇ ∂0H>>⊂_⊂
G∂($↓0⊂z@≡↓λ\< B≠∞-O(≥4"8z@⊂ HL| B≠∞./(≥4"8z@
`@∂| 2≠∞>P:hD␈(≡↓
`x@dβ0_⎇ ¬xi≥}P.∩,oλ↓Hεc⊂z@¬l`0= πλm&>⊂_⊂
F?(∩≤∩@z@∃↓⊂∂| 2≠
≡PQ_d←(⊃␈yHx@dβ0~⎇ λ"V≡P?
c␈λ↓Hεc0z@∩βx ⎇ 	_d∀↑⊂_⊂
F␈(_k0z@< 2≠∞≡PHα`/(<α≠@x@dβ0≤⎇ π(Q	}P<α≠Oλαλεcλ_= ∂λP≡PHα`/λαλεcλ_⎇ 
@πd↑P<α≠Oλαλεcλ→= ∂λP≡P0↓Voλαλεcλ→⎇ ⊂@	;>P<α≠Oλαλεcλ~= ∂λP≡P<α≠Oλαλεcλ~⎇ ∂λP≡P<α≠D_∧p␈␈␈␈xX
x↓⊂
@xαπ@I`αF`Y`βεi`∧∧a	`¬BaY`α@b⊂ αgQ@αgQ@αgQ8αgQ8αgQ8αgQ8αgQ8αgQ8αgQ8αgQ8αgQ8αgQ8αgQ8αf`Q@αgQHαgQHαgQHαP∃`λN↓#⊂( + →`αF RpπP
p⊂N↓# (∀ε(εP↓'QPαI∧∀2@s@(
↓$∩8 _ 9`αF@Qx⊗⊂P N↓#0(∞(¬HαgP λA@QP
CB4*AS@(AA0HA"q⊂Dλ¬λβ'↓⊃ ∧E"⊃pλ⊂	`8N↓c⊂8	D∧⊃λ ∩a	`βπQλλ	α∀$B~0x∪DH∧0∧fArP	Pλ@HMCeA_ ⊂A→XπK"D α∪0x↔Eπ`@MCf↓(≡α∪0x_EG @MCf1(≤B∪1→EFp@MDεA0≠α∪A~¬f@8MDεQ8→As1λ~Ef00MD&a@_ASAλ≠εε0MD&q@↔ASAλ≠F¬`0MD&qH⊗A31⊂≠F%@(N∧FqH∃A31⊂≤ε% (N∧FqP∀A31_≠FE(N∧fqP∪A3A⊂≠FDp(MDfqP∪A∪A_≠FD`_MEεaX∩@sA ≠εDP_N∧faX∩s1 ≠εd0_N¬εQX⊃@sA ~Fd _N¬εA`⊂@s1(~εd⊂_N¬&1`⊂sA(→Fd_N¬&!`∂@sA(→εcp⊂MEF⊃`∂@3A0_πβpλN¬F↓`∂3A0↔Gβ`λN¬ea`∞@3A8⊗GβPλN¬eQ`∞3A8⊗πβ@λN¬cpλ¬Gβ@λNεβPλεπβ0λ↓↓sA@∞!A`
@ ⊂`Nεβ0λεπ#!λNε#⊂λεGβ! Nε#λεG#⊃0NF"`λππβ⊃@NεB@λππβ⊃PNεB0λππ#↓`Nεb⊂⊂ππβ↓pNFap⊂ππβ↓xNπ↓P⊂ππ"rλNπA ⊂πGαr_NG``_πG"b N	b↓`	SB0λπαb8NIα↓h
@`RλNλ ⊂λλGα`λ∧GsQx@"⊃`⊃G3Qh@"⊃h∩π3A`@"!`∪π∪QP@"!h∪FsQ@@"1`∀FSQ0@"1`∃F3Q @"1h∃FSQ⊂@"A`⊗F3`x@B1`↔F∪`X↓BA`↔F∪`8↓@BA`_EtP⊂
Gε⊃8M@BQ`→¬s0⊂
GεA0M@Ba`~¬S0⊂πεQ0M@Bq`~ES0⊂Gεq(M@C↓`≠E30⊂Fg↓ M@C⊃X≤E∪0⊂
εg⊃ M@c⊃X≥¬∪0_
εg! M@c1P≥Ds0_
Fg1_M↓βAX≥Ds0 ∞FGA_MAβQX≥Ds0 ∂εGA_MAβqP≡∧s0(∂FGA⊂MA#qP≡DS0(⊂εGA⊂M↓D⊃P≡∧S00⊃ε'QλMAD1H≡∧S00∩ε'AλMADQH≡∧3 @∩FπAλMB∧a@≡∧30@∪Fπ1λMB¬⊃8≥D∪ H∃¬g!λMB%18≥∧∪0H⊗EG⊃MBEQ0≤D∪ X↔E'↓MBf⊃(≠∧∪0X→¬&`xMBfA(~βs `≠¬ε0xMCπ↓ _Cs0h≤DfxMβGA⊂↔βs0p∨∧E@pMCH∧λλJ!yPπPλA∪βs0x ⊃bα⊂λ&b∧$DβaM∧(∧`λFα→XλP
↓_π¬∪1λ ∃ε	hπPαPPαH¬`∩π`Apα(d0π∧0(∞↓3p⊂ →bαHβε@d@
⊂βFyhβE!	`∧D↓9`α@ p@β@`YhαA↓`8αgQHαgQ@αg Q8αgQ8αgQ8αg A8αgQ0αgQ(αgQ(αgQ(αg Q αgQ αgQ αgQ αgQ αgQ αgQ αgQ αgQ αgQ αgQ αf`P_π@`Y`¬B!I`βD!	XαE@iPβε YXαGT xB∞FH:≠R'∃}⊂ 9≥-F(z@= ≡Px∧7∂(xA∞'(6→>P∂(<α≠@z@≡↓λ\= ∂λn≡⊂ 9≥-F(z@= ≡P∂(<α≠@xA∞'(6→>Px∧7∂(z@≡↓λ\= ∂λn≡⊂ ⊂
F⊗`z@9@p= ¬05≠}⊂ ⊂
F↔⊂z@9@p= εP5z>⊂_⊂
F∨(⊗s∞z@εX⊗< B≠MO(
⊂K@z@≡H≥< B≠N/(PW0z@∞3`I< 2≠↑P⊗a"␈(~R.0xA∧β0→[≡P#/gO()`5λxA∧β0→\↑P$OmO((UgXx@dβ0→⎇ ∧8␈U≡PR6≤oλαλεc 6= 
 BD>P$CL␈λαλεc 9= 
⊂α8>P&Xg←λ↓Hεc z@∀4 |⎇ ∧X≤4↑⊂ ⊂
FV`z@_x`␈⎇ λp∀∨>⊂ ⊂
FW⊂z@↔X`!⎇ π`jI}⊂_⊂
F←(0QJλz@⊂Wpi< B≠
MO(%∂
@z@∪~8$| B≠
N/(%∂
@z@⊂Z(g| 2≠
↑PJ≡≠∂(#th`xA∧β0≠[≡P,an←(␈␈π{HxA∧β0≠\↑P3!>␈(x∧8x@dβ0≠⎇ εβ-↑P∂λαλεc@6= 	_eR>PtdN␈λαλεc@9= λ`%.}P{$∨∨λ↓Hεc@z@∩X↓= ∂λn≡⊂ ⊂
G⊗`z@∞Z⊂∪⎇ λ⊂∧f>⊂ ⊂
G↔⊂z@∞Z⊂∪⎇ εp∧π}⊂_⊂
G∨(≥4"8z@∂@n< 2≠>P-f≤∂(_
2`x@dβ0→= αhBE}P5$\oλ↓Hεc_z@λ␈x*= 
 l9↑⊂_⊂
FO((hOHz@	3@i< 2≠
>Pa#∀∨(!/m⊂x@dβ0≠= 	 <6≡PGiQOλ↓Hεc8z@0[= ≡⊂_⊂
G∂($↓0⊂z@≡↓λ\< 2≠∞>P:hD␈(≡↓
`xA∧β0_L≡Px∧(∂($↓0⊂xA∧β0_L>Plβr/(≡↓
`xA∧β0_L↑Px∧(∂(_k0xA∧β0_L}Pλ∧∧]←(≡↓
`xA∧β0_M≡Px∧(∂(≡↓
`xA∧β0_M>Px∧(∂(≡↓
`!@,?␈␈x␈@¬@o@	m@λ↓#P(NA#0(NA#⊂(N↓bP8NB"@N↓ ⊂8∧Bs@(αC`0(N↓"`(NA"P(N↓"P(N↓"P(N↓"P(N↓"@(N↓"@(N↓"@(N↓"@(N↓"@(N↓"@(N↓"@(N↓"@(N↓"@(MA"P(N↓"P(N↓"P(N↓"P(N↓"P( + →`αE TV30(A(
XgQ8αP∃ ⊂N↓!!⊂∃βhπ↓f`P0∧↓aα 
⊂
 _N↓  8πACr⊂ → I`¬¬aX∀⊂⊂(MBβ⊂((¬pαgQhα¬"PhλP (jDBa ∃@iPλFb∧)As1∂Dλ¬βfBα⊂λP	P@M∧∧Q⊂ ∩a	XπJα$$B∪0x∃∧h∧0∧&Ar`
⊂λ@@MCea  ⊂@yXπLαD ↓s0x_E'p0MCf!(∨↓S0x→EG@0MCfQ0≥↓S1~EG⊂0MDεa8≠AS1≠Ef`0Nβg↓8≠↓31≤¬fP(MDπ⊃@→A3A≤Fε (MDπ!@_A31λ≤F&(N∧π!H↔A31λ≥ε%p MDG!H↔↓∪Aλ≥εEP MDG!P⊗↓∪A⊂≥εE0 N∧G⊃P∃A∪1⊂≥εE  N∧G!P∃s1_≤Fe⊂_N∧g⊃P∀@sA_≤FE_MEπ↓X∪@sA ≤εDp_N¬εqX∪sA ≠FdP_N¬εaX∩@s10~FdP⊂N¬FA`∩SA0~εd@⊂N¬DPλεG∧0⊂N¬d0λπεd0_N¬d λππ∧ _Nε∧⊂πεd _Nεβp⊂ππ∧⊂_Nε#P⊂πFd⊂_Nε#@⊂πG∧_NεC ⊂λεd_NFC⊂λπ∧⊂Nεb`⊂λFd⊂Nπα@⊂λGβp⊂Nπ" ⊂λGβp⊂Nπap⊂	πβ`⊂NH↓0 λGβ`⊂Nλ@p(	πβP⊂αα3R`	πβP⊂↓βsBX	Gβ@⊂DsR0@B1`∞@⊃0N	 ⊂⊂
εc@⊂F3R_@BA`
@@⊃XNλ@⊂⊂
πβ0⊂G3R↓"Q`
@ ⊃xNG@ λ
Gβ0λH3Q`↓BQ`
 ∩_NF@ ⊂
Gβ"0NF ⊂πβ∩@O¬  ⊂πβ∩HO∧@ ⊂Fc∩XOβ@0⊂Gβα`OBP⊂Gβ ∧λU⊂παp_ελ∪0⊂παp⊂λπS0_πα`⊂	G30_πα`⊂
G∪@⊂Gα`λFs0⊂Gα`λFs0⊂
εb`λ
FS0⊂
παPλ∞F30⊂
FbPλ∂ε30⊂∞εb@λ⊂ε∪0⊂∞εb@λ⊂F∪0_∞εb0λ⊃Es0_∞εb0λ∩¬s0_∞Fb λ∪¬S0_∞Fg!0M@caX≥¬S0_∂Fg1(M@cqX≡¬∪0 ∂FgA MA∧↓P≡E∪0 ⊂εgQ MA∧⊃P∨∧s0 ⊃εGa_MA∧1P∨∧s0(⊃F'q⊂MA$1P∨DS0(∩εGa⊂MA$QH∨DS0(∪ε'qλMADaH∨∧S00∪F'aλMAE↓H∨∧3 8∀FπaλMAe!@∨∧∪0@∃επQλMB¬A8≡D∪0@⊗EgAMB¬a8≡∧∪0@↔Eg1MB&↓0≥∧∪ P_EG xMBF10≤βs0P~E&pxMBfQ(≠βs0X≠EεPxMBg⊃ →Cs `≥Eε⊂pMCπQ_↔Cs0h∨DEPxMC(∧⊂λJAyPπ⊂λAλ∪D∪0p ⊃bα λ&at$D∧↓MCh∧hλFα)Pλ⊂
⊃_π¬31 ∃&→Xλ⊂∩XMD(¬`∩g!t0G4P ~α∩0απ@JαP∀(
ASp⊂ ( a@βR)q ∧g↓⊂x¬g!@8β@`Y`αA↓P8αg Q8αgQ8αg Q0αgQ(αgQ(αgQ(αg Q αgQ αgQ αgQ αgQ αgQ αgQ αgQ αgQ αgQ αgQ αf`Q(αgQ(αgQ(αgQ(αf`Q8αgQ8αf`P⊂λA Y`¬αaYXβ¬!	XαF@iXαGT xB∞FH:≠R&U}⊂ 9≥-F(z@= ≡Px∧7∂(xA∞'(6→>P∂(<α≠@z@≡↓λ\= ∂λn≡⊂ 9≥-F(z@= ≡P∂(<α≠@xA∞'(6→>Px∧7∂(z@≡↓λ\= ∂λn≡⊂ ⊂
F⊗`z@⊗P]= ¬PβS}⊂ ⊂
F↔⊂z@⊗P]= εp∧2>⊂_⊂
F∨(_-+Pz@@@ε< B≠MO(
s'0z@CP_< B≠N/(
33 z@∞XhD< 2≠↑P_&Z←(≠≤=`xA∧β0→[≡P≡%J←(+∨1PxA∧β0→\↑P∨EP←(*∀d x@dβ0→⎇ βhk≠>PU4∃␈λαλεc 6= 
pV}≡P!ESoλαλεc 9= 
`⊗r≡P#ZnOλ↓Hεc z@∃Vhp= ∧( B>⊂ ⊂
FV`z@_G8 ⎇ λXka}⊂ ⊂
FW⊂z@↔'0B⎇ πPB>⊂_⊂
F←(/nn_z@⊂2hn< B≠
MO(#Topz@∩`P4| B≠
N/(#Topz@⊂ @w| 2≠
↑PG)←o(#↓~`xA∧β0≠[≡P,an←(␈␈π{HxA∧β0≠\↑P3!>␈(x∧8x@dβ0≠⎇ εβ-↑P∂λαλεc@6= 	_eR>PtdN␈λαλεc@9= λ`%.}P{$∨∨λ↓Hεc@z@∩X↓= ∂λn≡⊂ ⊂
G⊗`z@∞Z⊂∪⎇ λ⊂∧f>⊂ ⊂
G↔⊂z@∞Z⊂∪⎇ εp∧π}⊂_⊂
G∨(≥4"8z@∂@n< 2≠>P0ZW/(→↓`x@dβ0→= βM5>P68{Oλ↓Hεc_z@π]06⎇ 
Ph+}⊂_⊂
FO(+-↑z@λTλ∧| 2≠
>P←]\?( e]`x@dβ0≠= λpS?↑PFα5Oλ↓Hεc8z@0[= ≡⊂_⊂
G∂($↓0⊂z@≡↓λ\< 2≠∞>P:hD␈(≡↓
`xA∧β0_L≡Px∧(∂($↓0⊂xA∧β0_L>Plβr/(≡↓
`xA∧β0_L↑Px∧(∂(_k0xA∧β0_L}Pλ∧∧]←(≡↓
`xA∧β0_M≡Px∧(∂(≡↓
`xA∧β0_M>Px∧(∂(≡↓
`!@+␈␈␈x␈@¬@o@	m@	A#@(NA#⊂0N↓Bp0NAb@(Nα!p@N↓ ⊂0∧αsP(↓C@0(N↓"0(N↓"0(N↓"0(N↓"0(N↓" (N↓" (N↓" (N↓" (N↓" (N↓" (N↓" (N↓" (↔Bs@(	↓%!(MA"0(∪Fs@(	A$BλN↓"0(⊃	S@(
↓#rPN↓"@(∂∧a1N↓"@(∞∧"⊃ ↔@→XαE QPλ¬B∧-@3A⊂∧A#xD(¬@↓'↓8∧↓Q8ππα∀+@S@0π↓@ (
βca⊂ ∃9`αDA!_πλ"4(@s0(αα⊂p⊃Dh∧xα'QHββab 
⊂	P(N↓#0(εCDa  ∩`i`απ@@Xπ
αD$AY@p∀E(∧8βfabX
⊂λ`@MCEA( ⊃↓	XπKαd!α3@p⊗EH∧λ¬&abx⊂λ@MCeq0∨B∪0x_¬gP@Nβf↓8≡↓s0x_Eg08MDε⊃8≥↓s@x→επ8MDε!@≠AS1→Fε`0N∧ε1@~AS1λ→Fε@0N∧ε1H→AS1λ→F& 0N∧&1H_A31⊂→F&(N∧&AH↔A31⊂→FE`(N∧F1P⊗A31_→F%P(N∧f1H⊗↓3A⊂→FE0(MDf1P∃↓∪A_→FE⊂ N∧f!P∀A∪1 →εE N¬ε!P∀sA _Fdp_ME&⊃P∪@sA(_FD`_N¬&↓X∩@sA(_εDP_N¬%qX∩s10↔Fd0_N¬eaP⊃@SA8⊗Fd ⊂N¬eQX⊂@SA8⊗εd⊂⊂N¬eAX⊂SA@∃εd⊂Nε¬!X∂@SA@∀Gβ`⊂Nε%↓X∂SAH∪GβP⊂NεDaX∞@SAP∪εc@⊂NFDAX∞SAP∩εc0⊂Nεd!X
@SA`⊂Fc ⊂NGβqX
3Ah∂εc⊂λ↓α∪Ap∞πβxNGc!X∧SB⊂∧AA`E3RPεFbq@N
!Q`εSR8πεba`N	Aa`
GSR πFbRNHAq`
λSBλλεbB NGb↓`	I3Qpλεb28NGα↓`	
∪QPλFb"PNFα⊃`	 r⊂O¬"!X∞H3Q_	πβqxOβ@⊂λ	Fd!pOB0λ	G∧1hS"AX∩G30λ
π∧a`M@"QX∀εs0λεe⊃PM@"aX∃εS0λFe1PM@"qX⊗εS0λεeQHM@#↓X↔ε3 ⊂Feq@M@C!X↔F∪0⊂
εf⊃8M@C1X_Es0_
εf!8M@c1X→¬s0_∞εF18M@cAX~¬S0_∞FfA(M@caP~E30_∂εfQ(M@cqP≠¬30_⊂εFa M@d⊃P≠¬∪  ⊂FFq MA∧!P≠Ds0 ⊃FFq_MA∧AH≤∧s0(∩ε'↓⊂MA$AP≠Ds0(∩FFq⊂M↓DaH≤∧S00∪F'↓λMAE↓H≤∧300∀F&qλMAE!H≠D3 8∃Fπ↓MAeA@≠D30@⊗εεqMB¬Q@≠Cs H↔εεaMB%q@≠βs0H_EfPxMαF!8~Cs0P→Ef@xMBFA8→Cs `~EF0pMCεa0→βs h≤¬FxMC'⊃0_βS0h≥E%ppMβGA(↔βS0p∨¬%@pM∧πq ∃CS1 ⊂"BHπ&B∀!DepMD(∧(	I!yhπP	↓⊂⊃CTP ∩B"λπ¬Apα(d&∧#`x
A# 8O@H∧xλεaq8βE↓>pλEb↓@¬αa⊂_αgB⊃⊂λF@P⊂λB Yxλβα1`αF`Yp∃G`QPαgdbλαF@Yx⊂	QPαhβα@αF@Zλπ QHαvQ@αgQ@αgQ@αgQ8αgQ8αg Q0αgQ0αgQ0αgQ(αgQ(αgQ(αgQ(αgQ(αgQ(αgQ(αgQ(αgQ(αf`Q0αgQ8αgPH	gP_∧B@yXε∧@iX∧E`i`βε`T xB∞FH:≠R&Q>⊂ 9≥-F(z@= ≡Px∧7∂(xA∞'(6→>P∂(<α≠@z@≡↓λ\= ∂λn≡⊂ 9≥-F(z@= ≡P∂(<α≠@xA∞'(6→>Px∧7∂(z@≡↓λ\= ∂λn≡⊂ ⊂
F⊗`z@gλt= ¬ 	α≡⊂ ⊂
F↔⊂z@gλt= ε@	`↑⊂_⊂
F∨(↔N≡@z@a⊂b| B≠MO(
RF`z@
@β| B≠N/(
∩RPz@∂∃X/| 2≠↑P↔e→?(≤⊗≠_xA∧β0→[≡P≡m]∨()T-@xA∧β0→\↑P 
c∨((I`⊂x@dβ0→⎇ βp{@>PR≡
←λαλεc 6= 
hFY≡P$[\∂λαλεc 9= 
XεM≡P&pvoλ↓Hεc z@∃Dh&= ∧XLR}⊂ ⊂
FV`z@_Wh%⎇ λ@∧l≡⊂ ⊂
FW⊂z@↔7`G⎇ π0[⊗↑⊂_⊂
F←(0∂Nhz@∂vα| B≠
MO($3⎇z@∪?xX< B≠
N/($3⎇z@⊂␈p≠< 2≠
↑PHgz∂($?o_xA∧β0≠[≡P,an←(␈␈π{HxA∧β0≠\↑P3!>␈(x∧8x@dβ0≠⎇ εβ-↑P∂λαλεc@6= 	_eR>PtdN␈λαλεc@9= λ`%.}P{$∨∨λ↓Hεc@z@∩X↓= ∂λn≡⊂ ⊂
G⊗`z@∞Z⊂∪⎇ λ⊂∧f>⊂ ⊂
G↔⊂z@∞Z⊂∪⎇ εp∧π}⊂_⊂
G∨(≥4"8z@∂@n< 2≠>P/≤=∂(↔B,(x@dβ0→= αxJ2}P8,6?λ↓Hεc_z@πo8⎇ 
 <≠>⊂_⊂
FO(+	T`z@	9H%| 2≠
>P`∨≥←(∨l(x@dβ0≠= 	λOt≡PH␈↑?λ↓Hεc8z@0[= ≡⊂_⊂
G∂($↓0⊂z@≡↓λ\< 2≠∞>P:hD␈(≡↓
`xA∧β0_L≡Px∧(∂($↓0⊂xA∧β0_L>Plβr/(≡↓
`xA∧β0_L↑Px∧(∂(_k0xA∧β0_L}Pλ∧∧]←(≡↓
`xA∧β0_M≡Px∧(∂(≡↓
`xA∧β0_M>Px∧(∂(≡↓
`!@"␈␈␈x␈@¬@o@	rε↓#P(NA# 8NA"`HNB↓@pN¬``(NA"p(N↓"`(NA"P(N↓"P(N↓"P(NA"@(N↓"@(N↓"@(N↓"@(NA"0(N↓"0(N↓"0(N↓"@(N↓"@(N↓"@(N↓"@(N↓"@(N↓"@(N↓"@(N↓"P(MA"`(N↓"`(N↓"`(MA"p(N↓ !β↓30X¬↓` (N↓b PMAB`@MA# 0∃β30 ∂↓∧Q8 ≤≡ ∞P
@λLHhεHfE∧2@S!_¬∧λελ↓fB⊃λ⊂`_MDαA ⊗`IPλ¬b∀,↓30x
∧H¬0αfB↓`	⊂
@(MCcq_ ∀ iXπHαD'As0x⊃¬λ∧hβfar_
P	0@MCdQ( ∩!→XπIBT$α∪0x∀¬(∧0∧&bα@⊂λ@8Nβe⊃0 ⊃iXπJBt!↓S1∃EH∧λβ&bα`⊂λ0N∧¬A8∨↓S1⊗EgP0MD%Q8≡↓SAλ⊗Eg00MD%a@≤ASAλ↔επ0MDEa@≠ASAλ↔Fε`0MDEq@~ASA⊂↔Fε@(MDeaH→A3A⊂↔F&0 MDeqH→↓∪A_↔F&⊂ N∧eqH_↓∪1 ↔F%p N∧eqP↔↓∪A_↔F%` ME¬qH⊗A∪A ↔F%@ N¬¬aP∃A∪A ↔εE  ME%aP∀A∪A(⊗FE⊂ N¬%QP∀↓∪A(⊗FDp N¬%AX∪↓∪10⊗εD` N¬EAP∩A∪A0∃Fd@ N¬e!P∩@sA8∃εD@_N¬e⊃X⊃@sA8∀FD0_N¬e⊃P⊃sA@∪Fd⊂_Nε∧qP⊂@sA@∪FD_Nε$QX∂@sAH∩FCp_NF$1X∂sAH
@!QX∞@sAP	@!aP∞@` 8NεB λπεc@_BsAXλ!qX
DSQXπ!qX
E3A`ε"↓X
¬sAh¬"⊃P
ε3QpβB⊃XFsB(	εc↓hNHb!XπsB⊂	Fc↓xNHαAPλ3Ax
εbr⊂NG⊂λ
εbb NF@⊂λ
εbb(Nε ⊂λ
FbR8NE`⊂λεBP_βπsQ(@"aX
A1hND`⊂λFb0⊂εG∪Qλ@#↓P	@AqXNC`⊂λεb ⊂λFs`X↓#⊃P	B1POA@0λFb⊂⊂
εT@λ
εb⊂ε30λ
FB⊂FS0⊂
εap⊂F30⊂
Fa`⊂
ε30⊂∞εA`⊂∞ε∪0⊂∞εaP⊂∞F∪0⊂∞FAP⊂∂ε∪0⊂∂εA@⊂⊂¬s0⊂∂εa@λ⊂Es0⊂∂FA@λ⊃¬s0⊂⊂εA0λ⊃Es0_⊂εA λ∩ES0_⊂εA λ∪¬S0_⊂FA⊂λ∪ES0_⊃εAλ∀¬30_⊃F&!(M@d1P→¬3  ∩εF!(MA$AP→¬30(∩F&1 MA$aH→E∪0(∪εF1 MA$qP→Ds0(∀ε&A_MAE↓H→E∪ 8∀F&1_MAe!H→Ds08∃F&1_MAeA@~∧S08⊗Fε1_MB¬Q@→DS H↔εε1⊂MB%q@→∧S0H_εε!⊂MB&⊃@→∧30H→Ef⊃λMBF18_D3 X~¬f⊃MBfa0_∧30X≠EF↓MBg↓0↔D∪0`≤EE`xMβ'!0⊗D∪0h≡¬%AMC'a(∃Cs0h∨E% xMβH∧λ
J↓yXπPλ! ∪Cs0x ⊃αB(πfat#∧d@xMCh∧H	λAyPλ⊂	1⊂∂Cs1λ ∪"⊃hπfb∀'D#!M∧H¬⊂λEB	pπP
Q	∧4P ⊗α⊂X	FApα(T.
C (∞↓3p⊂ ↔dQhαF@d@ε ∂H a8βhβα ∧¬ jλπ
A⊃⊂β5Pλ∧αA	`αABIhαEY`αEY`αD`Y`αD`Y`αD`YhαD@Y`αD@Y`αD@Y`αD@Y`αD@Y`αD@Y`αD@Y`αD@Y`αD`Y`αD`Y`αD`Y`αD`Y`αD`YXαE Y`αE Y`αAAP⊂αf`P_βAa9`¬CA	`∧∧`yXβE@iXβε iXαGT xB∞FH:≠R)U}⊂ 9≥-F(z@= ≡Px∧7∂(xA∞'(6→>P∂(<α≠@z@≡↓λ\= ∂λn≡⊂ 9≥-F(z@= ≡P∂(<α≠@xA∞'(6→>Px∧7∂(z@≡↓λ\= ∂λn≡⊂ ⊂
F⊗`z@@∞= ¬H∧_↑⊂ ⊂
F↔⊂z@@∞= εh∧w≡⊂_⊂
F∨(→↓`z@0H∂| B≠MO(
Y;Pz@w⊂J< B≠N/(
→G@z@∂(v< 2≠↑P↔sβ∨(≤βDxA∧β0→[≡P VC∂()␈5`xA∧β0→\↑P!vI∂((th0x@dβ0→⎇ ∧⊂M≡PRt≡∨λαλεc 6= 
Hu
>P$¬KOλαλεc 9= 
85↓>P&~f/λ↓Hεc z@∃
P∞⎇ ∧P 1}⊂ ⊂
FV`z@_T(}⎇ λ@OH}⊂ ⊂
FW⊂z@↔4( ⎇ π8%s>⊂_⊂
F←(0λYxz@∂␈(<< B≠
MO(#α→`z@∩pH+< B≠
N/(#α→`z@⊂08n< 2≠
↑PF∧3O(#!	HxA∧β0≠[≡P,an←(␈␈π{HxA∧β0≠\↑P3!>␈(x∧8x@dβ0≠⎇ εβ-↑P∂λαλεc@6= 	_eR>PtdN␈λαλεc@9= λ`%.}P{$∨∨λ↓Hεc@z@∩X↓= ∂λn≡⊂ ⊂
G⊗`z@∞Z⊂∪⎇ λ⊂∧f>⊂ ⊂
G↔⊂z@∞Z⊂∪⎇ εp∧π}⊂_⊂
G∨(≥4"8z@∂@n< 2≠>P2βO(_a⊃xx@dβ0→= αxfε>P8πλ∂λ↓Hεc_z@λ)P_= 
(h<>⊂_⊂
FO(*∃!hz@	$c| 2≠
>P`⊃3␈(∨}W@x@dβ0≠= λ`λg≡PFB∪∨λ↓Hεc8z@0[= ≡⊂_⊂
G∂($↓0⊂z@≡↓λ\< 2≠∞>P:hD␈(≡↓
`xA∧β0_L≡Px∧(∂($↓0⊂xA∧β0_L>Plβr/(≡↓
`xA∧β0_L↑Px∧(∂(_k0xA∧β0_L}Pλ∧∧]←(≡↓
`xA∧β0_M≡Px∧(∂(≡↓
`xA∧β0_M>Px∧(∂(≡↓
`!@,␈␈␈x␈@¬@o@	pλ↓C0(NB"p(NC"⊂(NA @@¬↓s@(∧DsP(↓3@(↓3@(↓3P(
↓3@(
↓3@(
↓3@(
↓3@(	A3P(	↓3@(	↓3@(	↓3@(	↓3@(	↓3@(	↓3@(	↓3@(	↓3@(	↓3@(	↓3@(	↓3@(	A3@(	A30(ββ ⊂(N↓  8βB3@PεB∪@8	↓S00
A%⊂p ≥→Xβ¬`R_⊂
`λM↓c0∂GhεH↓&`qPαG∧T2@s@(∞Aβ∩X _ MH
αb∧/↓∪!⊂λD(¬Pαfb↓0λP(M∧β! ∃@iXπG"∀)AS0x∂DH¬βfAr⊂	⊂	`@MCdA_ ∩a	XπIB4$B30x∪Eλ∧8¬&arH
⊂λPHMCe!( ⊂a→XπKαT B31⊗¬(∧∧g↓rh∂A	XλBSh∧&bαx∞a	XλKbcPβgαβNyXλLαs8βgαβλM@yXλL#β β'α∪λ`iX	#β⊂β'α∪⊂ iX	Cββ'α#λK`YX	L#∩pαgα3λK Y`	C∩`αfb3⊂J`Y`	L#"Pα'α3λ
 IX
#∩Hα'αC
I`
β"8α&bS
	@I`
Kc2(↓gαRx
	 9`
Kc" ↓gαRp
H`9`
KC"_↓fbbp
λ@9`#2λ↓gαr`
λ 9`Jc2↓gαrX
G`)`Jc!x↓'αrP
G@)`
#1h↓'βα@
G )`
β1`↓'β∩0
G)`IC1X↓'β" ∞ε@)hIβ1P↓'β"⊂∞ε →`
λC1Hgβ2λ
F⊂λ∧'β2
F↓yh
Gc10	gβAh
EBY`∞Gβ1('#QP
E#)`∂ε#1 ∞'∧XBCA_∂'$ 0↓αc1_⊂'¬⊂X∞∧D)h∪Cβ1⊂⊃g∧``∞∧$Yh∩β#1λ∪g$ h∞∧¬	`⊂CC1∃'#pp∞∧⊂8⊃'#Px
Fd→h
CcAh∂g#⊃
HβihDβBλ∞gBAλ
HcIh	∧C2 ∞'Aq⊂
IC9x∧@⊃_
IC:(↓∧C2@
&`!_
J#→X↓∧c2P
&`! 
Jc→X↓¬#2Xf`!(
Kβ→X↓¬C2h&@10
KC	X↓Ec2xf`1@
αyX↓Fβ3f`1H
LαyX↓FC#λf`1P
LBiX↓Fc#_&`1`
bYX↓G##_
f`1h

αYX↓GC# 
f@Ax

αYXαλβ∪(
&`BλM"IXαλ##(
&`B⊂

"9Xαλc∪0	f`B MB9Xα	#∪(	f`B0M"9PαIc∪(	f`R@
B)XαJ#β0	&`RP
")XαJcβ(	&`R`
"→PβBs 	&`bxMα→Xβαs λ&`c⊂b→Xβbc_λ&@s(
LB	X∧
"cλλ&aβ8
Lα	X∧∞αSπfA∪P
KAyX∧OαBhπfA#p

ayX¬⊂λ↓_∃βs X ⊂B2@πfAD"DD`xMCλ∧8	λayPπ⊂	⊃λ⊂Cs x ∪α↓pπfB∧'Dβ⊃λM∧(¬⊂λ¬"→hπP
Q⊂ε¬∀P ⊗%QHαπ@JαPR@
A#@(O@Hελ⊂G`aHαR→C"_∧¬@j⊂πJ!!λβuP⊂∧α↓9hαAA`_αgQ0αg Q(αgQ(αg Q αgQ αgQ_αg Q⊂αgQ⊂αgQ⊂αgQ⊂αg QλαgQλαgQλαgQλαgQλαgQλαgQλαgQλαgQλαf`Q_αgQ_αgPλπ↓YX¬α↓I`β∧↓→XαEyPβ¬`YXβε YXαGT xB∞FH:≠R)S>⊂ 9≥-F(z@= ≡Px∧7∂(xA∞'(6→>P∂(<α≠@z@≡↓λ\= ∂λn≡⊂ 9≥-F(z@= ≡P∂(<α≠@xA∞'(6→>Px∧7∂(z@≡↓λ\= ∂λn≡⊂ ⊂
F⊗`z@∞_&⎇ ¬P	e>⊂ ⊂
F↔⊂z@∞_&⎇ εp
C}⊂_⊂
F∨(_≤4hz@A )< B≠MO(λ>q0z@3H[| B≠N/(
}⎇ z@∞Hhπ| 2≠↑P∪=n←(~|6_xA∧β0→[≡P q
←(*⎇⊃@xA∧β0→\↑P"⊃∪←()rD⊂x@dβ0→⎇ ∧_α!>PToU←λαλεc 6= 
H?x≡P"
∀∂λαλεc 9= 
0␈l≡P$∨.oλ↓Hεc z@∃βxd= ∧0)B}⊂ ⊂
FV`z@→aPP⎇ λ`l≡⊂ ⊂
FW⊂z@_AHr⎇ πXB*↑⊂_⊂
F←(2#$_z@⊂Bp*| B≠
MO(#efXz@∩←p⊃| B≠
N/(#efXz@⊂∨`T| 2≠
↑PGKM?("␈V0xA∧β0≠[≡P,an←(␈␈π{HxA∧β0≠\↑P3!>␈(x∧8x@dβ0≠⎇ εβ-↑P∂λαλεc@6= 	_eR>PtdN␈λαλεc@9= λ`%.}P{$∨∨λ↓Hεc@z@∩X↓= ∂λn≡⊂ ⊂
G⊗`z@∞Z⊂∪⎇ λ⊂∧f>⊂ ⊂
G↔⊂z@∞Z⊂∪⎇ εp∧π}⊂_⊂
G∨(≥4"8z@∂@n< 2≠>P08i←(→αE⊂x@dβ0→= α0{]>P5xl?λ↓Hεc_z@λ0 B⎇ 
H←+>⊂_⊂
FO(*π|@z@λe_¬| 2≠
>PdFH?(!¬e(x@dβ0≠= λx↔~}PE␈,oλ↓Hεc8z@0[= ≡⊂_⊂
G∂($↓0⊂z@≡↓λ\< 2≠∞>P:hD␈(≡↓
`xA∧β0_L≡Px∧(∂($↓0⊂xA∧β0_L>Plβr/(≡↓
`xA∧β0_L↑Px∧(∂(_k0xA∧β0_L}Pλ∧∧]←(≡↓
`xA∧β0_M≡Px∧(∂(≡↓
`xA∧β0_M>Px∧(∂(≡↓
`!@'␈␈␈x␈@¬o@	n@¬↓#@0N↓#00NA#⊂(N↓B@@NB!0hN↓ ⊃λα↓3P(
A3@(
↓3@(
↓3@(	A3P(	↓3@(	↓3@(	↓3@(λA3@(λA3@(λA3@(λA3@(λA3@(λA3@(λA3@(λA3@(λA30(	↓3@(	A%qN↓"0(∃εS@(	A$b⊂N↓"@(⊃
∪0(βC ⊂(∂KHε8gP_βAa!`→P0λNαap8EAq_ ↔`)X∧EQ8	F"∀-@s@8A"A⊂∂Dλ¬H↓gaHαDBα λ⊂
`_MAC0(πD∧qλ ∀`I`απ@@pπJB∀(A9px⊗∧H∧pβ&Arx	P	00MCf⊃_ ∩ yXπLBD#B∪0x~¬λ∧(∧&as(
Pλ0HMCfq( ⊂!)XπNαT α31≤¬Gp@MDπ!(∨α∪@x≥EG@@MDπ10≥B∪1≡¬g⊂@MD'A8≤↓sA≡Efp8MD'Q@~AsAλ≡Fε@8MD'a@→As1⊂∨εε 0N∧Ga@_AS1⊂∨ε&0N∧GaH↔ASA⊂∨ε%`0MDgaH↔↓3A_≡FEP(MDgaP⊗↓3A_∨εE0 N∧gaH∃A∪1 ≡FE  N¬πQP∀A∪A ≡FE ME'AP∀↓∪A(≡εDp N¬'1X∪↓∪A(≥FdP N¬'1P∩A∪10≥εd@ N¬g⊃X⊃@sA8≤εd0_N¬g↓X⊃sA8≠Fd _NεεaX⊂@sA@~G∧_NεεQX⊂sAH→Gβp_Nε&1X∂@sAP_Gβ`_NεF⊃X∂sQP↔GβP_NεEqX∂SAX⊗GβP⊂NεeQX∞@SA`⊃!↓`∞SQ`⊂!⊃X∞SAh∂!⊃`
@3Ap∞!⊃`
@3Qp
!!`
 0PNπcλ¬πβ λD∪R
@!1`E3B⊂	!1`F∪R_πAA`εsB0∧↓↓A`π3SεFcαNKAQ`HSR`εGαr N
aa`	SRHππαb@NIaq`
JSR(πGαR`NHb↓`
3RλλπαBxNGb⊃X
aα0Oπα⊃`	@AR_NFb⊃X	@"∩⊂O¬ ⊂⊂λG∧rOD ⊂	εe∩OB@@⊂	π¬1pT@B!`⊗GS0⊂	G¬ahM@B1`_π∪0⊂
πε⊃`M@BA`→Fs0⊂
Gε1XM@BaX~FS0⊂εfqPM@BqX≠FS0⊂Fg⊃HM@C↓X≤F30⊂εg1@M@C⊃X≥F∪0⊂Gπ1@M@C!X≡Es0⊂
FgQ8M@c!X∨¬s  
Fga8MAβAP ⊂αiXαπβ4 ¬S0 ∞FH∧λ
f`Ap
⊂λ⊃(MAβaX ⊂"YXαπc$!¬30 ⊂εH∧⊂
f`Bλ
⊂λ! MA∧!H ⊂bIXαλC$!E∪0 ⊃FH∧_	f`B PλA_MA∧QH ⊂bIXα	C∀!Ds0(∪ε(∧_	f`R8Pλ1⊂M↓E↓@ ⊃α)Xβ
#∧!DS00∃ελ∧_	&`bX⊂λ1λMAEQ8 ⊂B)XβBt!∧300↔Eh∧⊂λ&`cλ⊂λ⊃λMAF!0 ⊂"	Xβ
αT ∧∪ @~¬GpxMBεa(∨∧∪0@≠E'QMBπ⊃(≡βs0@≥Eπ0xMα'Q ≤Cs0H∨DgxMαH∧λ	MAyPε⊂λ1⊂~βs h ⊃"#⊂π&Ad$∧%pxLDλ∧Xλ!yhπP	Q∀CtP ∀αα(λα@Apα(T)D∧↓λε↓#@(O@H¬0λF" xαF@d@¬X
βBQ⊂β¬A	x_E q ∧'e1H∧∧↓)x∩G↓ `α@@Zλ∞λ Pλβ↓@` αhBα8αA↓@8αt`Q8αg Q(αgQ(αgQ(αgQ(αgQ(αgQ(αgQ(αgQ αgQ αgQ αf`Q(αgQ(αgQ(αgQ(αf`Q0αgQ0αgQ0αf`Q8αgP_π↓@Y`¬B↓λαfa↓λ¬'a(∧&`a@β'QXαgQ`αQ≡⊂@:~.F`2H
4(xA∞'(6→>P∂(z@≡↓λ\= ≡⊂ 9≥-F(z@= ∂λn≡Px∧7∂(<α≠@xA∞'(6→>P∂(z@= ∂λn≡⊂ 9≥-F(z@≡↓λ\= ≡Px∧7∂(<α≠@xA∧β0_[≡P/>Z←(⊗P␈`xA∧β0_\↑P/>Z←(≠Q↔0x@dβ0_⎇ ¬p⎇5>P2"↔∨λαλεc⊂6= α8lm}P1]+Oλαλεc⊂9= βλm≥>P:2⊗Oλ↓Hεc⊂z@¬MP= ε`∂B≡⊂ ⊂
F6`z@πfH⊗= 
PR&>⊂ ⊂
F7⊂z@λ∞H.= 
0'p}⊂_⊂
F?(∂u∀ z@∃πP↔< B≠

O(+≠2λz@λVh∂| B≠
∞/(*K/λz@	≤λz| 2≠
≡PUfa∨(⊃rxPxA∧β0~[≡Pd∞∂(#∪EXxA∧β0~\↑P←
hO(≡i⊂(x@dβ0~⎇ _≠h↑PA|V∂λαλεc06= 	λ8}PJb7Oλαλεc09= 	λ8}P@bλ/λ↓Hεc0z@∩⊃0q⎇ λXD?}⊂ ⊂
Fv`z@_8:⎇?␈`∨n>⊂ ⊂
Fw⊂z@h({⎇ _`⊃}⊂_⊂
F␈(_k0z@< B≠∞
O($y4Hz@≥→⊂;| B≠∞∞/(#	+Xz@≡i|| 2≠∞≡PHα`/(<α≠@xA∧β0≤[≡P:hD␈( A→HxA∧β0≤\↑P:hD␈(≠A↓xx@dβ0≤⎇ π(Q	}P<α≠Oλ↓Hεcλz@oPj⎇ ε D.>⊂_⊂
F/(≠!0z@
Ax∧< 2≠}P∨j(O(*∂"px@dβ0~= 
XMB>P#eq/λ↓Hεc(z@_38Q= λ_y,≡⊂_⊂
Fo($"n_z@⊃8@␈| 2≠
}P0↓Vo(x@dβ0≤= 	¬@↑Px∧7∂λ↓HεcHz@∞Z⊂∪⎇ π@∧7≡⊂ ⊂
F∪z@≡↓λ = 	¬@↑⊂ ⊂
F∪λz@≠xI= π@∧7≡⊂ ⊂
F∪⊂z@≡↓λ = εβ-↑⊂ ⊂
F∪_z@!↓⊂v⎇ π@∧7≡⊂ ⊂
F∪ z@≡↓λ = π@∧7≡⊂ ⊂
F∪(z@≡↓λ = π@∧7λ0λ␈x␈␈␈p↓0≠pα ≤α⊂(∞A3P(
↓S@0As@HλBSP`∧A`⊂(N↓ @xαA3@(A3P(↓3@(
A3@(
A3@(
A3P(
↓3@(
↓3@(	A3@(	A3@(	A3@(	A3P(	↓3@(	↓3@(	↓3@(	↓3@(	↓3@(	↓3@(	↓3@(	↓3@(	A3@(	A% pN↓"0(∩F∪@(	A$!pMA 0x↓A#b Nαa⊂X
JHε0gqλβF"@Xλ⊂ λMAB`(∧B⊃ ↔`)Pβε a⊂λEB∧.s@ ∞A"↓
∧λ¬P↓tα↓hλP
p_MCd↓⊂ ∃IXπHB$)↓3!∩∧h∧xβ&ar8	P	P0MCe↓  ∩`yXπJBD$B∪0x⊗¬λ∧8∧&arh
PλPHMCeq  ⊃!→XπLαT!B31_¬H∧λ∧g↓sλ⊂λ@MCf10∨α∪1→EGP@MDεA8≥B∪A~¬g @MDεQ8≤B∪1λ~Eg@N∧εa@≠α∪1λ≠εεP@N∧εq@~As1λ≠Fε@0N∧&aH→AS1λ≠F& 0N∧&qH_AS1⊂≠F&0N∧FqH↔ASA⊂≠εE`0MDFqP⊗ASA⊂≠F%P0N∧FqH⊗↓S1_≠εE00N∧faP∃A3A_≠εE  MEεQP∃↓∪A ~FE⊂ N¬εQP∀↓∪A ~εdp N¬εAP∪A∪1(~εD` N¬F!X∩A∪A0→εDP N¬F⊃X∩↓∪A0_Fd0 N¬eqX∩sA8∀ aX⊃@sA8∪@ qX⊃sA@∩@ qX⊃sA@∩!↓X⊂@sAH⊃!↓X⊂@sAH⊂@!⊃X⊂sAP∂@!⊃X⊂SQP∞@!!X∂@SAP∞!!`∂SAX
A!X∂SA`A!`∞@SQ`A1X∞@SAh
AAX∞SAp	AAX∞SQxπ@AQX
@SBλ¬@aQX
@SB_βA↓aX
@0HNJ@⊂λπεc ⊂↓βSBH@!qX
 ⊃⊂NI`⊂λπGβ⊃8NI ⊂λλεc⊃HN	⊂λλπβ↓`NH@⊂λλFc↓pNH⊂λλGαrNG@⊂λ	εbr⊂NG⊂⊂λGαb NF@⊂⊂	εbb0NF⊂⊂	παR8O¬ ⊂⊂	FbRHO∧  ⊂	GαBXOβ 0⊂
εbB`OB@⊂
πα0_βI∀p⊂
Fb0⊂ελ30⊂
Gα λλλ∪0⊂εb λ	GS0⊂Fb⊂λ
G30⊂Fb⊂λG30⊂εbλG∪0⊂εbλ
Fs0⊂Fapλ∞FS0_εapλ∂FS0_Fa`λ⊂εS0_
εaPλ⊃ε30_
εf⊃HM@c1X→ε∪0_∞εF1@M@cAX~¬s0_∞FFQ8M@caP≠¬S0_∂εfa0M@cqP≠ES0_⊂εFq0MAβqX≤¬30 ⊂εG⊃ MA∧⊃P≤E∪0 ⊂Fg⊃ M↓$!P≥¬∪0(⊃FG!_MA$AP≥∧s0(∩F'1_MA$QP≥DS00∩FG1⊂MADaP≥DS00∪F'1⊂MAE↓H≥DS 8∀F'1⊂MAe!H≥D308∃Fπ1⊂MB¬1@≥D30@⊗επ1λMB¬Q@≥∧3 H↔επ!MB&↓8≥∧∪0H_Eg⊃MB&!8≤D∪ X→¬g↓MBfA0≠D∪0X~EFpxMBfq0~D∪ `≤¬FAMCπ!(~βs0h≥Eε0xMβGA(_Cs0p∨¬εxMCH∧
AyPπPλ! ⊗βs0x ⊃α2XπfB∀#∧ExMD(∧@		AyXλP	1λ⊃D∪Px ∪"∩λ(↓$(∧#1⊂λAβ` P↓(¬_λ¬b1_αF`Yx↓⊂
Q⊂π¬B`0AI#λαα⊂POKβ0X∧A`⊂(OIC`(↓C`P(OH∧⊂(A3qP∩A"`(QβE0(↓:P(↓3@(↓3@(↓3P(
A3@(
A3@(
A3@(
A3@(↓3@(↓3@(↓3@(↓3@(↓3@(↓3@(A3@(A3@(A3@(A30(↓3@(↓3@(A3@(↓CA(MC↓@↓A3@@λBs@0α∪0(
↓S0(∞↓(O@λαX∧≡9Z0α@hα@hP
x↓⊂∞ {⊃ <_∂⎇≡d0∂`α_{⊃`<_≠|↑dp∂`↓x{∪`<_↔v≡e8∂`β {⊗<_π}≡eH∂`¬↓|@∧∃`;⎇xow{⎇x